* admin.el (manual-html-fix-index-2): Tweak previous change.
authorGlenn Morris <rgm@gnu.org>
Sat, 4 Jan 2014 02:35:45 +0000 (18:35 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 4 Jan 2014 02:35:45 +0000 (18:35 -0800)
commit7beb9cdc91b3cdba0111b8ab7f4e917960a1d542
tree3629292973294fa6775111b74fb687610be2009e
parent066f46570a64df23ff131a42ee69c019fb916766
* admin.el (manual-html-fix-index-2): Tweak previous change.
admin/admin.el